(x_set_mouse_face_gc): If the last use mouse face
authorGerd Moellmann <gerd@gnu.org>
Mon, 15 Jan 2001 20:14:16 +0000 (20:14 +0000)
committerGerd Moellmann <gerd@gnu.org>
Mon, 15 Jan 2001 20:14:16 +0000 (20:14 +0000)
commit624af74f13cc47668bc48bd53ec0ad34ac29870c
treeb0895f51d24dffb50c0fad76e9e5ca3e5d5046fc
parent6121b9dd17b3e53e8780db73cb04ef1d8984dffb
(x_set_mouse_face_gc): If the last use mouse face
has gone in the meantime, use face MOUSE_FACE_ID.
src/xterm.c